搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Total Systems Reliability Symposium (1983 : National Bureau of Standards) 的图书(共8231本)

	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Advanced Concepts for Intelligent Vision Systems [electronic resource] : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings 0 索取号：作者：Blanc-Talon、 Jacques.、Bourennane、 Salah.、Philips、 Wilfried.、Popescu、 Dan.、Scheunders、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 0 索取号：作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009 0 索取号：作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings 0 索取号：作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Standard-Based Data and Information Systems for Earth Observation [electronic resource] 0 索取号：作者：Di、 Liping.、Ramapriyan、 H. K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Environmental Monitoring using GNSS [electronic resource] : Global Navigation Satellite Systems 0 索取号：作者：Awange、 Joseph L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings 0 索取号：作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems CISIS'08 [electronic resource] 0 索取号：作者：Corchado、 Emilio.、Zunino、 Rodolfo.、Gastaldo、 Paolo.、Herrero、脕lvaro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers 0 索取号：作者：Bacardit、 Jaume.、Bernad贸-Mansilla、 Ester.、Butz、 Martin V.、Kovacs、 Tim.、Llor脿、 Xavier.、Takadama、 Keiki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Complex Systems in Knowledge-based Environments: Theory, Models and Applications [electronic resource] 0 索取号：作者：Tolk、 Andreas.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Complex Systems and Self-organization Modelling [electronic resource] 0 索取号：作者：Bertelle、 Cyrille.、Duchamp、 G茅rard H.E.、Kadri-Dahmani、 Hakima.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Sharing a Vision [electronic resource] : Systems and Algorithms for Collaboratively-Teleoperated Robotic Cameras 0 索取号：作者：Song、 Dezhen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Knowledge Processing and Decision Making in Agent-Based Systems [electronic resource] 0 索取号：作者：Jain、 Lakhmi C.、Nguyen、 Ngoc Thanh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings 0 索取号：作者：Chaudron、 Michel R. V.、Szyperski、 Clemens.、Reussner、 Ralf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Model Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings 0 索取号：作者：Czarnecki、 Krzysztof.、Ober、 Ileana.、Bruel、 Jean-Michel.、Uhl、 Axel.、V枚lter、 Markus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 0 索取号：作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Advanced Concepts for Intelligent Vision Systems [electronic resource] : 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings 0 索取号：作者：Blanc-Talon、 Jacques.、Bourennane、 Salah.、Philips、 Wilfried.、Popescu、 Dan.、Scheunders、 Paul.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 0 索取号：作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Information Technologies in Environmental Engineering [electronic resource] : Proceedings of the 4th International ICSC Symposium Thessaloniki, Greece, May 28-29, 2009 0 索取号：作者：Athanasiadis、 Ioannis N.、Rizzoli、 Andrea E.、Mitkas、 Pericles A.、G贸mez、 Jorge Marx.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Computer Security - ESORICS 2008 [electronic resource] : 13th European Symposium on Research in Computer Security, M谩laga, Spain, October 6-8, 2008. Proceedings 0 索取号：作者：Jajodia、 Sushil.、Lopez、 Javier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Standard-Based Data and Information Systems for Earth Observation [electronic resource] 0 索取号：作者：Di、 Liping.、Ramapriyan、 H. K.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Environmental Monitoring using GNSS [electronic resource] : Global Navigation Satellite Systems 0 索取号：作者：Awange、 Joseph L.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings 0 索取号：作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems CISIS'08 [electronic resource] 0 索取号：作者：Corchado、 Emilio.、Zunino、 Rodolfo.、Gastaldo、 Paolo.、Herrero、脕lvaro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Learning Classifier Systems [electronic resource] : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers 0 索取号：作者：Bacardit、 Jaume.、Bernad贸-Mansilla、 Ester.、Butz、 Martin V.、Kovacs、 Tim.、Llor脿、 Xavier.、Takadama、 Keiki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Complex Systems in Knowledge-based Environments: Theory, Models and Applications [electronic resource] 0 索取号：作者：Tolk、 Andreas.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Complex Systems and Self-organization Modelling [electronic resource] 0 索取号：作者：Bertelle、 Cyrille.、Duchamp、 G茅rard H.E.、Kadri-Dahmani、 Hakima.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Sharing a Vision [electronic resource] : Systems and Algorithms for Collaboratively-Teleoperated Robotic Cameras 0 索取号：作者：Song、 Dezhen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Knowledge Processing and Decision Making in Agent-Based Systems [electronic resource] 0 索取号：作者：Jain、 Lakhmi C.、Nguyen、 Ngoc Thanh.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings 0 索取号：作者：Chaudron、 Michel R. V.、Szyperski、 Clemens.、Reussner、 Ralf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Model Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings 0 索取号：作者：Czarnecki、 Krzysztof.、Ober、 Ileana.、Bruel、 Jean-Michel.、Uhl、 Axel.、V枚lter、 Markus.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.